Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

propositional variable

Толкование Перевод

1 propositional variable

лог. пропорциональная переменная

Большой англо-русский и русско-английский словарь > propositional variable
2 propositional variable

Математика: пропорциональная переменная

Универсальный англо-русский словарь > propositional variable
3 propositional variable

логика

пропорциональная переменная

English-Russian scientific dictionary > propositional variable
4 propositional variable

пропозициональная переменная

English-Russian information technology > propositional variable
5 propositional

пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable Пропозиционально

Большой англо-русский и русско-английский словарь > propositional
6 variable

1) переменная (величина) || переменный

2) изменчивый

3) изменяемый; варьируемый

4) регулируемый

•

variable unrestricted in sign — переменная, не ограниченная в знаке

variable with upper bound — переменная с верхним пределом

to be variable from a to b — изменяться в пределах от a до b

to separate variables — мат. разделять переменные

- absolutely continuous random variable
- absolutely integrable variable
- accidental variable

- action variable

- additive random variable

- adjacent variable

- admissible stopping variable

- aleatory variable

- almost separable variable

- angle variable

- anonymous bound variable
- anonymous free variable
- apparent variable

- arithmetical variable

- asymptotic variable

- attached variable

- auxiliary variable

- binary variable

- binomial random variable

- block variable

- bound variable

- bounded random variable

- canonical variable

- cause variable

- centered random variable

- chance variable

- change of variable

- character variable

- chi-square random variable

- coded variable

- combined variable

- complementary variable

- complex bound variable
- complex free variable - complex random variable
- complex variable

- concomitant variable

- conjugate complex variable

- conjugate variable

- constraint variable

- continuous variable

- contravariant variable

- control variable

- controllable variable

- controlled variable

- countably valued random variable

- coupling variable

- crossing-even variable

- crossing-odd variable

- degenerate random variable

- demand variable

- determining variable

- diagnostic variable

- dichotomized variable

- dichotomous variable

- digital variable

- dimensional variable

- dimensionless variable

- directly controllable variable
- discontinuous variable - discrete random variable - discrete variable variable - discrete variable
- disposal variable

- domain of variable

- dual variable

- dyadic variable

- dynamic variable

- eclipsing variable

- effect variable

- effectively variable

- elementary random variable

- eliminated variable

- elimination of variable

- empirical variable

- endogenous variable

- enumerative variable

- equally distributed random variables

- essential variable

- essentially bounded random variable
- essentially free variable - excessive random variable - exchangeable random variables
- explanatory variable

- explicit bound variable

- explicit bound variable

- explicit free variable

- exponential variable

- fault-identifying variable

- finitely valued random variable

- flare variable

- formal variable

- fractional variable

- free variable

- function variable

- functor variable

- fuzzy variable

- game variable

- gamma variable

- general ramdom variable
- generalized random variable - geometric random variable
- geometric variable

- global variable

- hidden variable

- hypercomplex variable

- hypergeometric random variable

- hypothetic variable

- identically distributed random variable

- imaginary variable

- independent random variable

- independent variable

- individual variable

- induction variable

- infinitely divisible random variable
- infinitesimal random variable
- instrumental variable

- integer random variable

- integer variable

- integral variable

- integration variable

- intermediary random variable

- internal variable

- interpolation variable

- interval variable

- intuitive variable

- invariant random variable

- isol variable

- jointly discrete random variables
- jointly normal random variables
- key variable

- labeled variable

- ladder random variable

- lag variable

- lagged variable

- latent variable

- lattice variable

- lattice-valued random variable

- leading variable

- linearly independent random variables
- linguistic random variable
- linguistic variable

- local variable

- locally uniformizing variable

- logical variable

- log-normal variable

- machine variable

- main variable

- majorant variable

- manipulated variable

- marker variable

- master variable

- mathematical variable

- measurable variable

- measured variable

- memoryless random variable

- metalinguistic variable

- metamathematical variable

- missing variable

- mixed random variable

- mixed variable

- monotonic variable

- morphic variable

- multicharacter variable

- multidimensional random variable
- multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables
- name of variable

- natural variable

- negative binominal random variable
- nonanticipative random variable
- nonbasic variable

- noncentral chi-square variable

- noncontrollable variable

- nondimensional variable

- nonlattice random variable

- nonlocal variable

- nonnegative variable

- nonnormal random variable

- normalized variable

- normally distributed random variable
- normed random variable - number variable
- object variable

- objective variable

- observable variable

- one-dimensional random variable

- operational variable

- operator variable

- optimal random variable
- optimal stopping variable
- order variable

- original variable

- orthogonal random variables
- orthonormal random variables - pairwise independent random variables
- parametric variable

- perfectly correlated random variables

- periodic variable

- phase variable

- polychotomous variable

- positive random variable

- predetermined variable

- predicate variable

- predictable variable

- primed variable

- problem variable

- process variable

- propositional variable

- pseudobasic variable

- pseudorandom variable

- pure variable

- qualitative variable

- quantified variable

- quantitative variable

- randomized stopping variable

- range of variable

- ranked variable

- rate variable

- real variable

- reciprocal variable

- reduced variable

- redundant variable

- regressor variable

- regulated variable

- relatively variable

- response variable

- rim variable

- rotational variable

- scalar variable

- scalar-valued random variable

- scaling variable

- selected variable

- sentential variable

- separable variables

- separating variable

- set variable

- shape variable

- similarity variable

- simple variable

- sinusoidal variable

- slack variable

- slave variable

- slow variable

- space variable
- spatial variable
- special variable

- standard normal random variable

- standardized variable

- state variable

- state variable

- statistically independent random variables

- stochastic variable

- stopping variable

- string variable

- strong random variable

- subnormal variable

- subscripted variable

- substitute variable

- summation variable

- superfluous variable

- supplementary variable

- switching variable

- symmetrically dependent random variables
- symmetrized random variable
- syntactical variable

- system variable

- task variable

- temporary variable

- term variable

- theoretical variable

- time variable

- transformed variable

- trichotomous variable

- two-dimensional random variable
- two-state variable - two-valued variable
- unbound variable

- unbounded variable

- uncontrollable variable

- undeclared variable

- undefined variable

- uniform random variable

- uniformizing variable

- uniformly integrable random variable
- uniformly limited variable
- universal variable

- unknown variable

- unranked variable

- unregulated variable

- unrestricted variable

- upper-bounded variable

- variable of integration

- vector random variable

- vector variable

- vital variable

- weakly dependent random variable

- zero-one variable

English-Russian scientific dictionary > variable
7 пропорциональная переменная

лог. propositional variable

Большой англо-русский и русско-английский словарь > пропорциональная переменная
8 function

1) функция, действие || функционировать; действовать

- decision-making function
- essential functions - routine function - safety-related functions
2) функциональное назначение; роль

- auxiliary function
- circuit function - intrinsic function - metering function - primary function - robot function
- system function

3) функциональное подразделение ( предприятия)

- maintenance function
- planning function - service function - support function
4) функциональный узел ( машины)

- press function

5) матем. функциональная зависимость, функция

domain of a function — область определения функции, область изменения независимой переменной

function is periodic in — функция периодична по

function onto itself — отображение (функции) на себя

function vanishes — функция обращается в нуль

function with angular limit — функция с угловым пределом

function with vanishing derivative — функция с равной нулю производной

function without zeros — не обращающаяся в нуль функция

to be an explicit function of — зависеть явно от

to be an implicit function of — зависеть неявно от

- Abelian function

- absolute density function
- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function
- abstract function

- accuracy function

- acidity function

- acyclic function

- additive random function

- advanced function

- affect function

- affine function

- algebraically definable function

- algebroid function

- almost bounded function
- almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function
- alpha function

- alternating function

- ambiguous function

- analytically extended function
- analytically independent function - analytically representable function
- angle function

- antianalytic function

- antiholomorphic function

- antihyperbolic function

- antilinear function

- antiperiodic function

- antisymmetric function

- antitone function

- antitrigonometric function

- aperiodic function

- Appell function

- approximately continuous function
- approximately differentiable function
- arbitrary function

- arcus function

- area function

- arithmetical function

- arithmetically extensible function

- associated function

- asymmetric function

- asymptotic function

- asymptotical distribution function
- asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function
- atomic function

- attainability function

- autocovariance function

- autocovariance generating function

- automorphic function

- auxiliary function

- averaged function

- averaging function

- balayage function

- barrier function

- basis function

- behavioral function

- beta binomial function

- beta incomplete function

- biadditive function

- biaffine function

- bias function

- bicomplex function

- bicubic function

- biharmonic function

- biinvariant function

- bijective function

- bilinear function

- bimodal function

- bimultiplicative function

- binding function

- binomial distribution function

- binonlinear function

- biregular function

- biunique function

- bivariate function

- boundary characteristic function

- boundary characteristic function

- boundary function

- bounded above function
- bounded below function
- bounded function

- bracket function

- broad function

- broken-line function

- bulb function

- bump function

- canonical function

- canonically definable function

- capacity function

- carpeting function

- carrier function

- casino function

- causal function

- cellwise constant function
- cellwise continuous function
- centering function

- certain function

- chain function

- chance function

- chi-square function

- choice function

- chord function

- chromatic function

- circularly symmetric function
- circumferentially mean p-valent function
- class function

- close to convex function

- cluster function

- clutching function

- codimension function

- coefficient function

- coercive function

- cofinite function

- coherence function

- collapsing function

- color function

- combinatorial function

- combined function

- commutator function

- compact function

- compactly supported function

- compact-valued function

- comparative function
- comparison function - complementary error function
- complementary function

- complementary trigonometric function
- complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function
- complex-valued function

- complicated function

- component function

- composite function

- computably ambiguous function

- concave-convex function

- concentrated function

- concentration function

- concordant function

- conditional power function
- conditional risk function
- cone function

- confluent function

- confluent hypergeometric function

- congruence function

- conical function

- conjugate function

- connecting function

- consistent function

- constant-preserving function

- constrained function

- constraint function

- constructive function

- constructively nonrecursive function

- consumption function

- content function

- contiguous function

- continuously differentiable function

- continuum function

- contracting function

- contraction function

- contrast transfer function

- convergent function

- converse function

- convex-concave function

- cosecant function

- cosine function

- cospectral function

- cost function

- cosuperharmonic function

- cotangent function

- countably additive function
- countably multiplicative function - countably valued function
- counting function

- course-of-value function

- covariance function
- covariant function
- cramp function

- created function

- creating function

- criterion function

- critical function

- crosscorrelation function

- cross-covariance function

- cross-variance function

- cumulant function

- cumulant generating function
- cumulative distribution function - cumulative frequency function
- cup function

- curvilinear function

- cuspidal function

- cyclically monotone function

- cyclometric function

- cylinder function

- decay function

- decoding function

- decomposable function

- decomposing function

- defect function
- deficiency function
- deficient function

- degenerate function

- delta function

- denumerably-valued function

- dependence function

- depletion function

- derived function

- descriptive function

- design function

- determinate function

- diagonal function

- diagonalization function

- dibeta function

- difference function

- differential function

- digamma function

- dilogarithmic function

- dimensional function

- dimensionless function

- directing function

- discontinuous function

- discrete function

- discriminant function

- disjoined function

- dispersion function

- dissipative function

- distance function

- disturbing function

- ditonic function

- divergence-free vector function

- divergent function

- divisor function

- dominant function

- donor function

- don't care function
- double limit function
- double-spectral function

- double-valued function

- doubly orthogonal function
- doubly periodic function - doubly recursive function
- dual function

- dyadic function

- effective function

- effectively calculable function
- effectively computable function - effectively constant function - effectively decidable function - effectively variable function
- effectiveness function

- efficiency function

- elementarily recursive function
- elementarily symmetric function
- ellipsoidal function

- elliptic cylinder function

- empirical function

- empty function

- encoding function

- endogeneous function

- entire function of finite type
- entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function
- entropy function

- enumerating function

- enumeration function

- envelope function

- equal-ripple function

- equibounded function

- equilibrium function

- equivalence function

- essentially bounded function
- essentially increasing function - essentially integrable function - essentially real function - essentially smooth function
- estimable function

- estimating function

- everywhere continuous function
- everywhere differentiable function - everywhere smooth function
- excessive function

- excitation function

- exhaustion function

- expandable function
- expansible function
- expansion function

- expansive function

- expectation function

- expenditure function

- explicitly bounded function
- explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function
- extendable function

- extended function

- extensional function

- exterior function

- extremal function

- extremized function

- extremum function

- factor function

- factorable function

- factored function

- factorial function

- fatigue function

- feably oscillating function

- featureless function

- field function

- filter function

- filtration function

- final state function

- finitary function

- finite-dimensional function

- finitely additive function
- finitely mean valent function - finitely measurable function
- finite-path function

- fitted function

- flat function

- flow function

- force function

- forcing function

- forecast function

- formally ordered function

- fractional function

- frequency distribution function

- frequency function

- full function

- fully closed function

- function of a single variable
- function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order
- function of function

- function of high smoothness
- function of infinite type - function of integral order
- function of intervals

- function of matrix

- function of maximal growth
- function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable
- function of phase

- function of position

- function of random variable
- function of rapid descent - function of rapid growth - function of real variable
- function of set

- function of several complex variables

- function of singularities

- function of state

- function of support

- function of time

- function of transition

- function of two variables

- fundamental function

- fuzzy function

- gage function

- gage-like function

- game function

- general recursive function
- general universal function - geometric carrier function
- given function

- global defining function

- goniometric function

- grammatical function

- graph-valued function

- greatest-integer function

- group function

- group-reduction function

- growth function

- halo function

- harmonizable function

- height-gain function

- hemicylindrical function

- Herglotz function

- heuristic function

- higher function

- homographic function

- homology function

- homotopic function

- hyperanalytic function

- hyperarithmetical function

- hyperbolic cylinder function

- hypercomplex function

- hyperelliptic function

- hyperharmonic function

- hyperrank function

- hyperspherical function

- hypertranscendental function

- hypoanalytic function

- ideal function

- imaginary function

- immediate successor function
- implicitly definable function
- improper function

- impulse function

- inclusion function

- inclusive function

- incomplete beta function
- incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function
- increment function

- indecomposable function

- indefinite function

- index function

- indicial function

- individual function

- induced function

- inductive function

- inductively definable function
- inductively defined function - inductively integrable function
- infinite function

- infinitely differentiable function
- infinitely divisible function - infinitely many-valued function
- infinitesimal function

- information function

- information-packing function

- initial function

- injective function

- inner function

- input function

- insolvency function

- integrable function

- integral function of mean type
- integral logarithmic function
- integrating function

- intensity function

- interior function

- intermediary function

- interpolating function

- interpolatory function

- interval function

- inverse hyperbolic function
- inverse trigonometric function - inverted beta function
- invertible function

- irrational function

- irreducible function

- irregular function

- isotone function

- iterated function

- iteration function
- iterative function - joint correlation function - joint density function
- kernel function

- kinked function

- knapsack function

- lacunary function

- lambda function

- lattice function

- Lauricella function

- left-continuous function

- left-invariant function

- left-invertible function

- lexical function

- lifting function

- likelihood function

- limit of function

- limitable function

- limiting function

- linear discriminant function

- linearized function

- linearly dependent function
- linearly separable function
- local function

- locally analytic function

- locally approximable function
- locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function
- logarithmically concave function

- logarithmically convex function
- logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function
- logarithmico-exponential function

- logical addition function

- logical function

- logical multiplication function

- logistic function

- log-likelihood function

- loss-of-utility function

- lower closed function

- lower function

- lower measurable function
- lower semicontinuous function
- majorizing function

- many-valued function

- mapping function

- marginal distribution function

- mathematical function

- matrix function

- matrix-convex function

- maximal function

- mean-value function

- measurable function

- measure function

- measure-limited function

- mechanically computable function

- member function

- meromorphic function

- mesh function

- metaharmonic function

- metapragmatic function

- metasemantic function

- metaspherical function

- minimal function

- minimizing function

- minimum function

- minority function

- mixing function

- modified function

- modular function

- molecular set function

- moment generating function

- moment-generating function

- monochromatic function

- monodromic function

- monogenic function

- monomial function

- monomially alternating function
- monotone non-decreasing function - monotone non-increasing function
- monotonic function

- multiaffine function

- multiconstrained function

- multidimensional function

- multiextremal function

- multilinear function

- multiplace function

- multiple valued function

- multiplicity function

- multiplier function

- multiply harmonic function
- multiply periodic function - multiply recursive function
- multithreshold function

- multivalent function

- multivalued function

- multivariable function

- multivariant function

- mutual covariance function

- n-ary function

- nearly continuous function
- negative definite function - negative infinite function
- negligible function

- never-decreasing function

- never-increasing function

- next-state function

- nice function

- n-linear function

- n-metacaloric function

- noise function

- nomographic function

- nonanalytic function

- nonanticipative random function

- nonatomic function

- nonbounded function

- nonconstant function

- nondecreasing function

- nondegenerate function

- nondifferentiable function

- nonelementary function

- nonharmonizable function

- nonincreasing function

- noniterated function

- nonlattice function

- nonmonotonic function

- nonnegative definite function

- nonnegative function

- nonpositive function

- nonrandom function

- nonrecursive function

- nonsymmetrical density function
- nontangentially bounded function
- nontrivial function

- nonvanishing function

- norm function

- normalizable function

- normalized coherence function
- normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function
- n-place function

- n-point function

- n-th order function
- n-times differentiable function - n-tuply periodic function
- null function

- number-theoretical function

- numeralwise decidable function
- numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function
- observation function

- odd function

- omega function

- one-loop function

- one-parameter function

- one-periodic function

- one-place function

- one-sheeted function

- one-sided function

- one-step function

- one-valued function

- one-variable function

- open propositional function
- operating characteristic function
- operative function

- operator function

- optimal decision function
- optimal policy function
- optimizable function

- optimized function

- order function

- order of function

- order preserving function

- orderable function

- ordered function

- ordering function

- ordinal function

- orientation function

- original function

- orthonormal function

- oscillating function

- oscillatory function

- outcome function

- outer function

- p-adic function

- pair correlation function

- pairing function

- parabolical cylinder function
- parametrically definable function
- parametrization function

- parametrized function

- partially computable function

- partially differentiable function

- partially recursive function
- partially symmetric function
- partition function

- partition preserving function

- partitionable function

- patch function

- pattern function

- peaked function

- peakless function

- Pearcey function

- penalty function

- pentagamma function

- permanent function

- perturbation function

- phase function

- phi function

- picture function

- piecewise analytic function
- piecewise constant function - piecewise continuously differentiable function
- piecewise continuously differentiable function

- piecewise expanding function
- piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function
- plotted function

- pluriharmonic function

- plurisubharmonic function

- plurisublinear function

- plurisuperharmonic function

- point spread function
- pointwise approximated function
- pointwise bounded function

- pointwise discontinuous function

- policy function

- polyanalytic function

- polydromic function

- polygamma function

- polygenic function

- polygonal function

- polyhedral function

- polymorphic function

- polynomial clutching function

- polynomial function

- polynomially bounded function

- portfolio function

- posinomial function

- positive definite function
- positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function
- predetermined function

- predicate function

- predicate preserving function

- predual function

- premeromorphic function

- prescribed function

- primal function

- primary function

- prime-divisor function

- primitively recursive function

- principal function

- probability density function
- probability generating function
- process function

- product function

- production function

- productive function

- profit function

- projection function

- projective function

- propagation function

- proximally continuous function

- proximity function

- pseudoanalytic function

- pseudoconcave function

- pseudoconjugate function

- pseudoconvex function

- pseudodifferentiable function

- pseudoelliptic function

- pseudoharmonic function

- pseudohyperanalytic function

- pseudolikelihood function

- pseudolinear function

- pseudoperiodic function

- pseudopotential function

- pseudoproper function

- pseudorandom function

- pure quadratic function

- quadratic function

- quadratically integrable function
- quadratically summable function
- quantile function

- quasiaffine function

- quasialgebraic function

- quasianalytic function

- quasibounded function

- quasiconcave function

- quasiconformal function

- quasicontinuous function

- quasiconvex function

- quasidifferentiable function

- quasidoubly periodic function

- quasielliptic function

- quasiexcessive function

- quasiexponential function

- quasiharmonic function

- quasihomogeneous function

- quasiinterpolating function

- quasimonotonic function

- quasiperiodic function

- quasipolynomial function

- quasiradial function

- quasirecursive function

- quasiseparable function

- quasismooth function

- quasistandard function

- quasistar function

- quasisummation function

- quasiuniformly continuous function

- quasiunimodal function

- quaternion function

- radially symmetric function

- ramification function

- ramified function

- randomized decision function
- rapidly damped function - rapidly decreasing function - rapidly oscillatory function
- ray function

- Rayleigh dissipation function

- real-definite function

- real-valued function

- recession function

- reciprocal function

- recover function

- rectangle function

- recursively calculable function
- recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function
- reduced function

- regression function

- regret function

- regularized function

- regularly varying function

- regulated function

- relation reserving function
- relative distribution function - relative frequency function
- remuneration function

- renewal function

- renormalized function

- repeatedly differentiable function

- representable function

- representative function
- representing function - reproducing kernel function - residual function - residue function
- resolutive function

- resolvent function

- restricted function

- restricting function

- retarded function

- retracting function

- ridge function

- Riemann zeta function

- right-continuous function

- right-invariant function

- roof function

- root-mean-square function

- rudimentary function

- ruin function

- ruled function

- saddle function

- saltus function

- sample distribution function

- sampling function

- sandwich function

- scalar analytical function
- scalarwise integrable function - scalarwise measurable function
- scedastic function

- scheme function

- schlicht function

- search function

- section of function

- sectionally continuous function
- sectionally smooth function
- selective function

- self-dual function

- self-indexing function

- self-reciprocal function

- semiarithmetical function

- semicoercive function

- semicontinuous function

- semicylindrical function

- semidefinite function

- semiintegrable function

- semiinvariant function

- semimodular function

- semimultiplicative function

- semiproductive function

- semispectral function

- semisymmetric function

- sentential function

- separably valued function

- separately continuous function

- separation function

- sequence function

- sequential function

- sequentially continuous function

- set-preserving function

- set-valued function

- shape function

- sharp function

- shifted function

- sifting function

- sigma function

- signaling function

- simple function

- simply measurable function
- simply periodic function
- single-humped function

- singly periodic function
- singly recursive function
- singular function

- singularity function

- sinusoidal function

- skew-symmetric function

- slowly decreasing function
- slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function
- source function

- sourcewise representable function

- space-dependent function

- space-time function

- spannable function

- spheroidal function

- spinor-valued function

- spline function

- square-integrable function

- square-sine function

- square-summable function

- stability function

- stable function

- starlike function

- star-shaped function

- stationary random function

- statistical function

- status function

- steadily decreasing function
- steadily increasing function
- stiff function

- stochastic function

- stochastic transition function
- stopped random function
- straight-line function

- stream function

- streamline function

- strength function

- stretch function

- strictly concave function
- strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function
- stroke function

- strongly continuous function
- strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function
- structure function

- subadditive function

- subdifferentiable function

- subintegral function

- subinvariant function

- submultiplicative function

- suboperative function

- suboptimized function

- subordinated function

- subparabolic function

- subregular function

- success function

- sufficiently differentiable function

- sum function

- summatory function

- superadditive function

- supercaloric function

- supercontinuous function

- supermedian function

- supermultiplicative function

- superparabolic function

- superregular function

- surface function

- surjective function

- switching function

- symbolic function

- symmetrizable function

- symmetrized function

- tabulated function

- tame function

- tangential function

- target function

- temperate function

- temperature function

- tempered function

- tensor function

- ternary function

- tesseral function

- tetrachoric function

- tetragamma function

- time-limited function

- time-varying function

- tissue function

- toroidal function

- torus function

- total function

- total recursive function
- totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function
- totient function

- tower function

- trace function

- transferable function

- transfinite function

- transformation function

- transition probability function

- translation function

- translation invariant function

- transmission function

- trapezoidal function

- trend function

- trial function

- triangle function
- triangular function
- tribeta function

- trigamma function

- trilinear function

- true function

- truncated function

- truncation function

- twice differentiable function

- twistor function

- two-parameter function

- two-place function

- two-point function

- two-sided function

- typically real function

- ultradifferentiable function

- ultraspherical function

- unbounded function

- uncertainty function

- uncomputable function

- unconditionally summable function

- unconstrained function

- undecomposable function

- undefined function

- uneven function

- uniform function

- uniformizing function

- uniformly approximable function
- uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function
- unimodular function

- uniquely nomographic function

- unisolvent function

- unit function

- unit impulse function
- unit step function - unitary divisor function
- univalent function

- univariate function

- universally measurable function

- unknown function

- unramified function

- upper closed function
- upper measurable function - upper semicontinuous function
- valuation function

- vector-valued function

- vertex function

- voting function

- weakly additive function
- weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random function
- well-behaved function

- well-integrable function

- window function

- wrapping function

- wurzelfrei function

- zero function

- zonal spherical function

English-Russian scientific dictionary > function
9 algebra

алгебра

algebra at infinity — алгебра на бесконечности

algebra over a field — алгебра над полем

algebra with unit element — алгебра с единицей

algebra with prime characteristic — алгебра с простой характеристикой

algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей

algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей

algebra with involution — алгебра с инволюцией

algebra with identity — алгебра с единицей

algebra with differentiation — дифференциальная алгебра

algebra with connection — алгебра со связью

algebra without connection — алгебра без связи

algebra without identity — алгебра без единицы

algebra without radical — алгебра без радикала

it can be shown by a little algebra — путем несложных алгебраических преобразований можно показать

space over algebra — пространство над алгеброй

- absolutely segregated algebra

- abstract algebra

- acyclic algebra

- adjacency algebra

- affine algebra

- affinoidal algebra

- algebra of attributes

- algebra of bounded representation type

- algebra of circuits

- algebra of classes

- algebra of constants

- algebra of endomorphisms

- algebra of events

- algebra of finite order

- algebra of finite rank

- algebra of infinite order

- algebra of infinite rank

- algebra of linearly bounded degree

- algebra of logic

- algebra of partitions

- algebra of quantities

- algebra of recursive functions

- algebra of relations

- algebra of residue classes

- algebra of rows

- algebra of sets

- algebra of smooth germs

- algebra of states and events

- algebra of subsets

- algebra of terms

- algebra of uniform index

- algebra of varieties

- algebraic algebra

- alternate exterior algebra

- alternating algebra

- amenable algebra

- analytic algebra

- annihilator algebra

- annulus algebra

- anticommutative algebra

- antisymmetric algebra

- associative algebra

- atomic algebra

- atomic boolean algebra

- atomless algebra

- attainable algebra

- augmented algebra

- auxiliary algebra

- Banach algebra

- barreled algebra

- basis of algebra

- bicylinder algebra

- bidual algebra

- biregular algebra

- block algebra

- bornological algebra

- cardinal algebra

- Cartan algebra

- categorical algebra

- causal algebra

- centerless algebra

- central algebra

- central division algebra

- centralizable algebra

- circuit algebra

- class algebra

- classical algebra

- closed algebra

- closure algebra

- cofibrant algebra

- cohomology algebra

- collapsing algebra

- collinear algebra

- color algebra

- combinatorial algebra

- commutant algebra

- commutator algebra

- commuting algebra

- compact algebra

- compactly embedded algebra

- complete algebra

- complex algebra

- complexified algebra

- compression of algebra

- condition algebra

- conformal algebra

- connected algebra

- conservative algebra

- constraint algebra

- context-free algebra

- contracted algebra

- contraction algebra

- contravariant algebra

- convex algebra

- convolution algebra

- coordinate algebra

- cosimple algebra

- countably additive algebra

- countably generated algebra

- covered algebra

- cubic algebra

- current algebra

- cylindric algebra

- decidable algebra

- degenerate algebra

- derivation algebra

- derived algebra

- dichotomic algebra

- difference algebra

- differentiable algebra

- differential algebra

- disk algebra

- distinguished algebra

- distributive algebra

- division algebra

- elastic algebra

- elementary algebra

- embedded algebra

- endomorphism algebra

- enumerable algebra

- enveloping algebra

- exceptional algebra

- extended algebra

- exterior algebra

- extremal algebra

- field-like algebra

- finite algebra

- finitely defined algebra

- finitely generated algebra

- fixed algebra

- flat algebra

- free Lie algebra

- freely generated algebra

- full algebra

- fully reducible algebra

- function algebra

- functionally complete algebra

- functionally free algebra

- generalized algebra

- generic algebra

- geometrical algebra

- graded algebra

- graph algebra

- group algebra

- groupoid algebra

- hereditarily paracompact algebra

- heterogeneous algebra

- higher algebra

- holonomy algebra

- homeomorphic algebras

- homogeneous algebra

- homological algebra

- homotopical algebra

- hypercomplex algebra

- hyperfinite algebra

- ideal algebra

- idempotent algebra

- image algebra

- implicative algebra

- imprimitivity algebra

- incidence algebra

- incomplete algebra

- indecomposable algebra

- infinite algebra

- infinitely generated algebra

- injective algebra

- integral algebra

- intuitionistic algebra

- inverse algebra

- involutory algebra

- irreducible algebra

- krakowian algebra

- left algebra

- left-alternative algebra

- limit algebra

- linearly compact algebra

- linearly topological algebra

- local algebra

- locally finite algebra

- locally nilpotent algebra

- locally solvable algebra

- loop algebra

- matrix algebra

- maximal algebra

- measure algebra

- monadic algebra

- monoid algebra

- monomial algebra

- monounary algebra

- multilinear algebra

- multiplication algebra

- multiplicatively convex algebra

- multiplier algebra

- nilpotent algebra

- nonassociative algebra

- nonatomic algebra

- noncommutative algebra

- noncommutative polynomial algebra

- noncompact algebra

- nondegenerated algebra

- nonisomorphic algebra

- nonmetric algebra

- normal algebra

- normalizable algebra

- normalized algebra

- null algebra

- numeroid algebra

- operation algebra

- optional algebra

- ordered algebra

- orthogonal algebra

- p-adic algebra

- pair algebra

- partial algebra

- partially ordered algebra

- polyadic algebra

- polydisk algebra

- polylinear algebra

- polynomial algebra

- power-associative algebra

- primitive algebra

- probability algebra

- projective algebra

- propositional algebra

- pseudonormal algebra

- pseudosimple algebra

- quantifier algebra

- quasiassociative algebra

- quasifinite algebra

- quasilocal algebra

- quasiminor algebra

- quaternion algebra

- quotient algebra

- radical algebra

- ramified algebra

- rational algebra

- real algebra

- reduced algebra

- reductive algebra

- regularizable algebra

- relational algebra

- relationship algebra

- representable algebra

- representation algebra

- residue algebra

- restricted algebra

- retractable algebra

- right alternative algebra

- scale algebra

- segmental algebra

- segregated algebra

- self-adjoint algebra

- semifinite algebra

- semigroup algebra

- semilinear algebra

- semiordered algebra

- semisimple algebra

- semisimplicial algebra

- semitensor algebra

- separable algebra

- sigma algebra

- skew-commutative algebra

- solvable algebra

- special algebra

- spinor algebra

- split algebra

- standard algebra

- star algebra

- state algebra

- stiff algebra

- stochastic algebra

- strict algebra

- subdirectly irreducible algebra

- subdirectly reducible algebra

- subtractive algebra

- sufficient algebra

- superatomic algebra

- supplemented algebra

- switching algebra

- symbolic algebra

- symplectic algebra

- syncopated algebra

- tangent algebra

- ternary algebra

- three-dimensional algebra

- topological algebra

- topologically symmetrical algebra

- transition algebra

- tree algebra

- triply generated algebra

- twisted polynomial algebra

- two-dimensional algebra

- two-element algebra

- two-valued algebra

- uncountable algebra

- ungraded algebra

- uniform algebra

- uniformly closed algebra

- unimodular algebra

- uniserial algebra

- unitary algebra

- universal algebra

- unramified algebra

- variable algebra

- vector algebra

- vector-matrix algebra

- weakly distributive algebra

- weakly hereditary algebra

- word algebra

English-Russian scientific dictionary > algebra
10 constant

1) постоянная (величина), константа || постоянный, константный

2) неизменный, стабильный

•

constant in magnitude — постоянный по величине, постоянный по модулю

quantity constant in the limit — предельно постоянная величина

translate by a constant — увеличивать на постоянную величину (напр. элементы матрицы)

to integrate up to a constant — интегрировать с точностью до константы

- absolute constant

- acceleration constant

- acidity constant

- acoustical constant

- activation energy constant

- algebraic constant

- almost constant

- anisotropy constant

- arbitrary constant

- atomic constant

- auxiliary constant

- best constant

- cellwise constant

- centering constant

- characteristic constant

- comparison constant

- complex constant

- constant of integration

- constant of inversion

- constant of proportionality

- constant of structure

- constant of variation

- continuous constant

- contraction constant

- cosmological constant

- coupling constant

- Curie constant

- cyclic constant

- damping constant

- dampnuation constant

- disintegration constant

- dissociation constant

- distributive constant

- effectively constant

- ellipticity constant

- equilibrium constant

- essential constant

- fast time constant

- figurative constant

- finite constant

- fitted constant

- fixed constant

- functional constant

- galvanometer constant

- gas constant

- Hall constant

- hysteresis constant

- imaginary constant

- independent constant

- individual constant

- infinitesimal constant

- insolvency constant

- instrumental constant

- integer constant

- ionization constant

- isoperimetric constant

- label constant

- lattice constant

- literal constant

- locally constant

- lumped constant

- material constant

- modular constant

- multiplication constant

- multiplicative constant

- named constant

- nonlogical constant

- nonzero constant

- normalizing constant

- norming constant

- octal constant

- physical constant

- piecewise constant

- Planck's constant

- planimeter constant

- positive constant

- predicative constant

- primitive constant

- primitive propositional constant

- projection constant

- propagation constant

- proportionality constant

- pseudoscalar constant

- pseudovector constant

- radiation constant

- random constant

- reaction equilibrium constant

- reaction rate constant

- real constant

- regression constant

- relative constant

- relatively constant

- relativistic correction constant

- roughly constant

- roundoff constant

- seasonal constant

- sensibly constant

- separation constant

- set constant

- smoothing constant

- special constant

- stadia constant

- standard constant

- syntactical constant

- time constant of damping

- time constant

- unconditional constant

- unconditionally centering constant

- unrestricted predicate constant

- variable held constant

- wavelength constant

English-Russian scientific dictionary > constant
11 functor

матем.

функтор

- abelianizing functor

- additive functor

- adjoint functor

- aggregation preserving functor

- algebraic functor

- amnestic functor

- antidual functor

- auxiliary functor

- balanced functor

- biadditive functor

- binary functor

- canonic functor

- closed functor

- coadjoint functor

- cobordism functor

- cofinal functor

- coforgetful functor

- cohomological functor

- cohomology functor

- colimit functor

- colimit preserving functor

- complete functor

- completely univalent functor

- composite functor

- composition functor

- conjugate functor

- conjunction functor

- connected functor

- conservative functor

- constant functor

- constructive functor

- continuous functor

- contracted functor
- contractor functor
- contravariant functor

- convergent functor

- coproduct functor

- corepresentable functor

- couniversal functor

- covariant functor

- dense functor

- derived functor

- diagonal functor

- disjunction functor

- duality functor

- economical functor

- effacable functor

- embedding functor

- empty functor

- epireflective functor

- exact functor

- extensional functor

- faithful functor

- faithfully exact functor

- family functor

- fraction functor

- free functor

- full functor

- fully faithful functor
- fully invariant functor
- functor category

- functor epimorphism

- functor generating functor

- functor of bicharacters

- functor of inverse limit

- functor of points

- functor variable

- generalized functor

- geometric realization functor

- good functor

- half-exact functor

- hereditary functor

- homotopically invariant functor

- homotopy functor

- hyperbolic functor

- hypercohomology functor

- hyperhomology functor

- identity functor

- immersion functor

- inclusion functor

- inductive functor

- initial functor

- injective functor

- interpolation functor

- intersection functor

- left-adequate functor

- left-adjoint functor

- left-balanced functor

- left-derived functor

- left-exact functor

- limit-preserving functor

- local functor

- localizing functor

- locally defined functor

- modal functor

- motive cohomology functor

- n-argument functor

- natural functor

- naturalized functor

- n-dimensional homology functor

- negation functor

- normalization functor

- normalized functor

- n-place functor

- numerical functor

- one-place functor

- open functor

- oriented homology functor

- partial functor

- power functor

- premonoidal functor

- principal functor

- product preserving functor

- prolonged functor

- proper functor

- propositional functor

- prorepresentable functor

- pure covariant functor

- quotient functor

- representation functor

- representing functor

- resolvent functor

- right adjoint functor
- right balanced functor - right derived functor - right exact functor
- satellite of functor

- semiexact functor

- sentential functor

- set-valued functor

- shape functor

- signalizer functor

- singular functor

- singular homology functor

- small functor

- smooth functor

- solvable functor

- star functor

- statement functor

- strictly local functor

- stripping functor

- strongly definable functor

- structure functor

- subrepresentable functor

- sum functor

- surjective functor

- tangent functor

- term functor

- translation functor

- transportable functor

- triadic functor

- truth functor

- twisting functor

- two-place functor

- unary functor

- univalent functor

- zero-argument functor

English-Russian scientific dictionary > functor

См. также в других словарях:

Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… … Wikipedia
propositional variable — noun A variable that can either be true or false … Wiktionary
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional function — n. Logic an expression containing at least one variable, that becomes a proposition when a constant is substituted for the variable (Ex.: x is a man) … English World dictionary
propositional function — Logic. See sentential function. [1900 05] * * * Sentencelike expression that may be thought of as obtained from a sentence by substituting variables for constants occurring in the sentence. For example, x was a parent of y may be thought of as… … Universalium
Propositional directed acyclic graph — A propositional directed acyclic graph (PDAG) is a data structure that is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed acyclic graph of the following form: * Leaves are labeled with op (true),… … Wikipedia
Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… … Wikipedia Español
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium

Словари и энциклопедии на Академике

Перевод: с английского на русский

propositional variable

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

propositional variable

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: